Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland

Source URL: www.ruedi-arnold.com

• Logic
• Mathematics
• Mathematical logic
• Abstraction
• Syntax
• Propositional calculus
• False
• Proposition
• Queueing theory
• Well-formed formula

Universality in numerical computations with random data Percy A. Deifta,1, Govind Menonb, Sheehan Olverc, and Thomas Trogdona a Courant Institute, New York University, New York, NY 10012; bDivision of Applied Mathematics

Source URL: www.dam.brown.edu

• Algebra
• Mathematics
• Linear algebra
• Mathematical physics
• Matrices
• Matrix theory
• Numerical linear algebra
• Matrix
• Rotation matrix
• Generalized minimal residual method
• Determinant
• Random matrix

Likelihood-based Network Comparison Using Permutation Models Carter T. Butts Department of Sociology and Institute for Mathematical Behavioral Sciences

Source URL: vw.indiana.edu

E RIC VANDEN -E IJNDEN Professor of Mathematics Courant Institute of Mathematical Science New York University 251, Mercer Street New York, NY 10012

Source URL: math.nyu.edu

Imprint Publisher: Research Unit ORCOS, Institute of Statistics and Mathematical Methods in Economics Vienna University of Technology

Source URL: orcos.tuwien.ac.at

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

Duality in Two-stage Adaptive Linear Optimization: Faster Computation and Stronger Bounds Dimitris Bertsimas Operations Research Center and Sloan School of Management, Massachusetts Institute of Technology, Cambridge, Ma

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Convex optimization
• Linear programming
• Analysis
• Mathematics
• Duality
• Robust optimization
• Systems science

Name：Risa Uechi Title：Boston University, Center for Polymer Studies, Department of Physics Institute: Bioinformatics Center (Akutsu Laboratory), Kyoto University Institute for Chemical Research; Kyoto, Uji, Gokasho 6

Source URL: www.bic.kyoto-u.ac.jp

• Algebra
• Mathematics
• Linear algebra
• Covariance and correlation
• Mathematical physics
• Multivariate statistics
• Independence
• Correlation and dependence
• Eigenvalues and eigenvectors
• Matrix
• Partial correlation
• Random matrix

Solving Inverse Problems with Spectral Data Joyce R. McLaughlin Department of Mathematical Sciences Rensselaer Polytechnic Institute

Source URL: www.iprpi.rpi.edu

Walk from Kent Ridge MRT to Institute for Mathematical Sciences (approximatelyminutes) Photos of the walk from Kent Ridge station to IMS 1. Take the elevator when you alight at Kent Ridge station. 2. Turn right

Source URL: www2.ims.nus.edu.sg